161. Towards a formal description of Ada
المؤلف: edited by D. Bjørner and O.N. Oest.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
162. Truth, deduction, and computation
المؤلف: / R.E. Davis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
